home *** CD-ROM | disk | FTP | other *** search
/ Info-Mac 1992 August / info-mac-1992.iso / Language (lang) / Lazy-Scheme / Examples / TestandGenerate / cont6 < prev    next >
Encoding:
Text File  |  1990-01-08  |  983 b   |  44 lines  |  [TEXT/Help]
  1. ;LAFAC+COURS=SAVOIR
  2.  
  3. (eager(c))
  4.  
  5. (r3 s a l c r2 o v r1 f u r0 i r)
  6.  
  7. ((=? (+ c s) (+ r (* 10 r0)))
  8.  (=? (+ r0 (+ a r)) (+ i (* 10 r1)))
  9.  (=? (+ r1 (+ f u)) (+ o (* 10 r2)))
  10.  (=? (+ r2 (+ a o)) (+ v (* 10 r3)))
  11.  (=? (+ r3 (+ l c)) (+ a (* 10 s)))
  12.  (<>? l a) (<>? l f) (<>? l c)
  13.  (<>? l o) (<>? l u) (<>? l r)
  14.  (<>? l s) (<>? l v) (<>? l i)
  15.  (<>? a f) (<>? a c) (<>? a o)
  16.  (<>? a u) (<>? a r) (<>? a s)
  17.  (<>? a v) (<>? a i) (<>? f c)
  18.  (<>? f o) (<>? f u) (<>? f r)
  19.  (<>? f s) (<>? f v) (<>? f i)
  20.  (<>? c o) (<>? c u) (<>? c r)
  21.  (<>? c s) (<>? c v) (<>? c i)
  22.  (<>? o u) (<>? o r) (<>? o s)
  23.  (<>? o v) (<>? o i) (<>? u r)
  24.  (<>? u s) (<>? u v) (<>? u i)
  25.  (<>? r s) (<>? r v) (<>? r i)
  26.  (<>? s v) (<>? s i) (<>? v i)
  27. (<>? l 0)(<>? c 0)(<>? s 0))
  28.  
  29.  
  30. ((0 1)
  31.  (1 0)
  32.  (0 1 2 3 4 5 6 7 8 9)
  33.  (0 1 2 3 4 5 6 7 8 9)
  34.  (0 1 2 3 4 5 6 7 8 9)
  35.  (0 1)
  36.  (0 1 2 3 4 5 6 7 8 9)
  37.  (0 1 2 3 4 5 6 7 8 9)
  38.  (0 1)
  39.  (0 1 2 3 4 5 6 7 8 9)
  40.  (0 1 2 3 4 5 6 7 8 9)
  41.  (0 1)
  42.  (0 1 2 3 4 5 6 7 8 9)
  43. (0 1 2 3 4 5 6 7 8 9))
  44.